Ingrese una palabra o frase en cualquier idioma 👆
Idioma:
Traducción y análisis de palabras por inteligencia artificial
En esta página puede obtener un análisis detallado de una palabra o frase, producido utilizando la mejor tecnología de inteligencia artificial hasta la fecha:
- cómo se usa la palabra
- frecuencia de uso
- se utiliza con más frecuencia en el habla oral o escrita
- opciones de traducción
- ejemplos de uso (varias frases con traducción)
- etimología
unifier - traducción al Inglés
LOGIC REASONING RULE THAT IS CORRECTLY USABLE IS SOME LOGIC
Inadmissible inference rule; Admissible inference rule; Structural completeness; Structurally complete; Projective formula; Unifier; Projective approximation
unifier
unify, unite; merge, standardize
unificateur
uniting, unifying
réunifier
reunify, rejoin
Definición
unifier
The unifier of a set of expressions is a set of substitutions
of terms for variables such that the expressions are all
equal.
See also most general unifier, unification.
(1994-12-06)
Wikipedia
Admissible rule
In logic, a rule of inference is admissible in a formal system if the set of theorems of the system does not change when that rule is added to the existing rules of the system. In other words, every formula that can be derived using that rule is already derivable without that rule, so, in a sense, it is redundant. The concept of an admissible rule was introduced by Paul Lorenzen (1955).
Ejemplos de uso de unifier
1. Pourquoi vouloir unifier l‘apparence des enfants?
2. Nous veillons surtout ŕ unifier notre politique dans l‘aménagement intérieur.
3. Mais que le suffrage universel et la démocratie tendent ŕ unifier et réconcilier.
4. Seule lannonce de linvasion coloniale va les unifier contre lennemi commun.
5. Ne faudrait–il pas unifier en Suisse ce syst';me d‘aide aux familles?